Lattice-based access control